Inapproximability Results on Stable Marriage Problems
نویسندگان
چکیده
The stable marriage problem has received considerable attention both due to its practical applications as well as its mathematical structure. While the original problem has all participants rank all members of the opposite sex in a strict order of preference, two natural variations are to allow for incomplete preference lists and ties in the preferences. Both variations are polynomially solvable by a variation of the classical algorithm of Gale and Shapley. On the other hand, it has recently been shown to be NP-hard to find a maximum cardinality stable matching when both of the variations are allowed. We show here that it is APX-hard to approximate the maximum cardinality stable matching with incomplete lists and ties. This holds for some very restricted instances both in terms of lengths of preference lists, and lengths and occurrences of ties in the lists. We also obtain an optimal Ω(N) hardness results for ’minimum egalitarian’ and ’minimum regret’
منابع مشابه
Inapproximability of Stable Marriage Problems
The stable marriage problem has received considerable attention both due to its practical applications as well as its mathematical structure. While the original problem has all participants rank all members of the opposite sex in a strict order of preference, two natural variations are to allow for incomplete preference lists and ties in the preferences. Both variations are polynomially solvabl...
متن کاملStable Marriage and Roommates Problems with Restricted Edges: Complexity and Approximability
In the Stable Marriage and Roommates problems, a set of agents is given, each of them having a strictly ordered preference list over some or all of the other agents. A matching is a set of disjoint pairs of mutually acceptable agents. If any two agents mutually prefer each other to their partner, then they block the matching, otherwise, the matching is said to be stable. We investigate the comp...
متن کاملOn Approximating Four Covering/Packing Problems With Applications to Bioinformatics
In this paper, we consider approximability of four covering/packing type problems which have important applications in computational biology. The problems considered in this paper are the triangle packing problem, the full sibling reconstruction problem under two parsimonious assumptions, the maximum profit coverage problem and the 2-coverage problem. We provide approximation algorithms and ina...
متن کاملProof-Theoretic Strength of the Stable Marriage Theorem and Other Problems
We study the proof theoretic strength of several infinite versions of finite combinatorial theorem with respect to the standard Reverse Mathematics hierarchy of systems of second order arithmetic. In particular, we study three infinite extensions of the stable marriage theorem of Gale and Shapley. Other theorems studied include some results on partially ordered sets due to Dilworth and to Dushn...
متن کاملApproximability results for stable marriage problems with ties
We consider instances of the classical stable marriage problem in which persons may include ties in their preference lists. We show that, in such a setting, strong lower bounds hold for the approximability of each of the problems of finding an egalitarian, minimum regret and sex-equal stable matching. We also consider stable marriage instances in which persons may express unacceptable partners ...
متن کامل